The Lax-Oleinik semi-group: a Hamiltonian point of view
نویسنده
چکیده
The Weak KAM theory was developed by Fathi in order to study the dynamics of convex Hamiltonian systems. It somehow makes a bridge between viscosity solutions of the Hamilton-Jacobi equation and Mather invariant sets of Hamiltonian systems, although this was fully understood only a posteriori. These theories converge under the hypothesis of convexity, and the richness of applications mostly comes from this remarkable convergence. In the present course, we provide an elementary exposition of some of the basic concepts of weak KAM theory. In a companion lecture, Albert Fathi exposes the aspects of his theory which are more directly related to viscosity solutions. Here on the contrary, we focus on dynamical applications, even if we also discuss some viscosity aspects to underline the connections with Fathi’s lecture. The fundamental reference on Weak KAM theory is the still unpublished book of Albert Fathi Weak KAM theorem in Lagrangian dynamics. Although we do not offer new results, our exposition is original in several aspects. We only work with the Hamiltonian and do not rely on the Lagrangian, even if some proofs are directly inspired from the classical Lagrangian proofs. This approach is made easier by the choice of a somewhat specific setting. We work on R and make uniform hypotheses on the Hamiltonian. This allows us to replace some compactness arguments by explicit estimates. For the most interesting dynamical applications however, the compactness of the configuration space remains a useful hypothesis and we retrieve it by considering periodic (in space) Hamiltonians. Our exposition is centered on the Cauchy problem for the Hamilton-Jacobi equation and the Lax-Oleinik evolution operators associated to it. Dynamical applications are reached by considering fixed points of these evolution operators, the Weak KAM solutions. The evolution operators can also be used for their regularizing properties, this opens a second way to dynamical applications.
منابع مشابه
Fast weak-KAM integrators for separable Hamiltonian systems
We consider a numerical scheme for Hamilton–Jacobi equations based on a direct discretization of the Lax–Oleinik semi–group. We prove that this method is convergent with respect to the time and space stepsizes provided the solution is Lipschitz, and give an error estimate. Moreover, we prove that the numerical scheme is a geometric integrator satisfying a discrete weak–KAM theorem which allows ...
متن کاملWeak KAM theorem on non compact manifolds
In this paper, we consider a time independent C Hamiltonian, satisfying the usual hypothesis of the classical Calculus of Variations, on a non-compact connected manifold. Using the Lax-Oleinik semigroup, we give a proof of the existence of weak KAM solutions, or viscosity solutions, for the associated Hamilton-Jacobi Equation. This proof works also in presence of symmetries. We also study the r...
متن کاملHamiltonian Structures for the Generalized Dispersionless Kdv Hierarchy
We study from a Hamiltonian point of view the generalized dispersionless KdV hierarchy of equations. From the so called dispersionless Lax representation of these equations we obtain three compatible Hamiltonian structures. The second and third Hamiltonian structures are calculated directly from the r-matrix approach. Since the third structure is not related recursively with the first two ones ...
متن کاملA Lax Representation for the Born-Infeld Equation
We study the Born-Infeld equation from a Lagrangian point of view emphasizing the duality symmetry present in such systems. We obtain the Hamiltonian formulation directly from the Lagrangian. We also show that this system admits a dispersionless nonstandard Lax representation which directly leads to all the conserved charges (including the ones not previously obtained). We also present the gene...
متن کاملFast Weak-kam Integrators
— We consider a numerical scheme for Hamilton-Jacobi equations based on a direct discretization of the Lax-Oleinik semi-group. We prove that this method is convergent with respect to the time and space stepsizes provided the solution is Lipschitz, and give an error estimate. Moreover, we prove that the numerical scheme is a geometric integrator satisfying a discrete weak-KAM theorem which allow...
متن کامل